Merge remote-tracking branch 'savannah/master' into HEAD

author Andrea Corallo <akrl@sdf.org>

Fri, 3 Apr 2020 10:15:55 +0000 (11:15 +0100)

committer Andrea Corallo <akrl@sdf.org>

Fri, 3 Apr 2020 10:15:55 +0000 (11:15 +0100)
author Andrea Corallo <akrl@sdf.org>
Fri, 3 Apr 2020 10:15:55 +0000 (11:15 +0100)
committer Andrea Corallo <akrl@sdf.org>
Fri, 3 Apr 2020 10:15:55 +0000 (11:15 +0100)
diff --cc configure.ac
Simple merge
diff --cc src/alloc.c
Simple merge
diff --cc src/pdumper.c
Simple merge
author	Andrea Corallo <akrl@sdf.org>
	Fri, 3 Apr 2020 10:15:55 +0000 (11:15 +0100)
committer	Andrea Corallo <akrl@sdf.org>
	Fri, 3 Apr 2020 10:15:55 +0000 (11:15 +0100)
		1	2
configure.ac	patch \|	diff1 \|	diff2 \|	blob \| history
src/alloc.c	patch \|	diff1 \|	diff2 \|	blob \| history
src/pdumper.c	patch \|	diff1 \|	diff2 \|	blob \| history